Research on the AADL Model for Risk Quantitative Analysis of Safety-critical Embedded Systems

Developing safety-critical systems almost always includes significant emphasis on risk analysis. Risk analysis is still largely qualitative and manual analysis. In this paper, we propose a quantitative analysis method of embedded systems based on the AADL model. Firstly, we extend the Error Model Annex with the RFMEA(Risk-based Failure Mode Effect Analysis) property to express the error effect formally, and then, a risk-based quantitative analysis method is proposed to implement the automatic generation of RFMEA table. Finally, an Eclipse plugin of this method is implemented and a case study is demonstrated the feasibility of this method.